2361. فلسفه ریاضیات
پدیدآورنده : دامت Dummett ، مایکل ا. ای. , Michael A. E.
کتابخانه: (کرمان)
موضوع : ریاضیات, Mathematics, منطق ریاضی, Logic, Symbolic and mathematical
رده :
QA
8/4
/
د
2
ف
8
1397
2362. مبحثی در منطق ریاضی
پدیدآورنده : / شاسیموهان سریواستاوا,A course on mathematical logic, ]2013].
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : منطق ریاضی -- کتابهای درسی,Textbooks -- Logic, Symbolic and mathematical
رده :
۵۱۱
/
۳
س
۵۲۶
م
2363. مدخل منطق صورت، یا، منطق ریاضی
پدیدآورنده : / نگارش غلامحسین مصاحب.,مصاحب
کتابخانه: مكتبة العتبة المقدسة حضرة فاطمة معصومة علیها السلام (قم)
موضوع : منطق ریاضی,Logic, symbolic and mathematical,a06,a06
رده :
QA
۹
/
م
۶
م
۴ ۱۳۶۶
2364. معماهای شهرزاد
پدیدآورنده : اسمولیان، ریموند ام Smullyan, Raymond M .
کتابخانه: (کلستان)
موضوع : ریاضیات -- سرگرمیها,ecreationsB Mathematical,معماهای منطقی,uzzlesB Logic
رده :
QA
۹۵
/
الف
۴۷
م
۶
2365. مقدمهای بر منطق جدید
پدیدآورنده : / پل اگره,کتاب حاضر ترجمه درسگفتارهایی است که توسط پل اگره در مدرسۀ عالی نرمال پاریس به صورت جزوهای با عنوان École Normale Supérieure منتشر شده است.,اگره,Égré
کتابخانه: (خراسان رضوی)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,منطق جدید,Logic, Modern,a02,a02,a01,a01
رده :
۵۱۱
/
۳
الف
۶۹۶
م
2366. منطق ریاضی
پدیدآورنده : / محمد اردشیر,چاپ دوم: ۱۳۹۳,اردشیر بهرستاقی
کتابخانه: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع : منطق ریاضی,Logic, symbolic and mathematical,a03,a03
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۹۰
2367. منطق ریاضی
پدیدآورنده : / تالیف منیره پیمان,پیمان
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : منطق ریاضی,Logic, Symbolic and mathematical,a01,a01
رده :
QA
۹
/
پ
۹
م
۸
2368. منطق ریاضی
پدیدآورنده : / محمد اردشیر,چاپ دوم: ۱۳۹۳,اردشیر بهرستاقی
کتابخانه: (قم)
موضوع : منطق ریاضی,Logic, symbolic and mathematical,a03,a03
رده :
QA
۹
/
الف
۴
م
۸ ۱۳۹۰
2369. منطق و زبانشناسی
پدیدآورنده : / ينس الوود ، لارس - گونار اندرسن ، استن دال,عنوان اصلی: Logic in linguistics.,آلوود,Allwood
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : زبان,Language and languages,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a01,a02,a02
رده :
P
۱۰۷
/
آ
۷
م
۸
2370. منطق و زبانشناسی
پدیدآورنده : / ينس الوود ، لارس - گونار اندرسن ، استن دال,عنوان اصلی: Logic in linguistics.,آلوود,Allwood
کتابخانه: جامعة المذاهب الاسلامیة (طهران)
موضوع : زبان,Language and languages,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a01,a02,a02
رده :
P
۱۰۷
/
آ
۸
م
۸ ۱۳۹۹